空间望远镜主镜的热光学特性分析

主镜是空间望远镜光学系统的重要组成元件,其热光学特性将为光学系统的热控设计提供依据。利用建立在集成分析基础上的热光学分析方法,分析了某空间望远镜主镜在三种不同的温度分布形式,即在径向温度、轴向温度、周向温度梯度的作用下对光学系统成像质量的影响,结合设计的要求,根据计算结果给出了许用温度梯度的范围。     

运用量子约束动力学对具有耗散的量子位的追踪控制

在有限温度环境内，量子约束动力学及其追踪控制可使退相干系统的相干性稳定一段时间.约束方程产生的控制场能够按量子比特的动力学状态进行控制(量子动力学轨道的反馈控制)；依靠量子比特的这种反馈效应，可使量子位稳定在设定的时间内.同时，在量子位的稳定方面，温度扮演一种消极的角色. 关键词： 量子约束动力学 耗散量子位的控制 追踪控制 量子比特的反馈效应     

用自适应脉冲微扰引导混沌系统到周期解

用自适应脉冲微扰方法控制的系统的某个系统变量作为驱动,设计了一种自适应控制器方法对两个或多个响应混沌系统进行脉冲微扰,引导这些系统从混沌运动到低周期运动,实现同时控制多个混沌系统到不同的周期态. 当选择相同的自适应控制器输入变量实施脉冲微扰时,还可控制两个或多个混沌系统达到不同的周期态同步. 通过对R?ssler混沌系统的仿真研究证实了方法的有效性. 关键词： 混沌控制 系统参量 自适应控制器 脉冲微扰 周期态同步     

基于校园网的实验管理系统的设计

主要讨论了应用实验室管理系统的必要性,并从用户需求分析、系统总体设计、功能模块的设计等方面对B/S实验室管理系统的开发进行了详细的阐述。     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

一类高次系统极限环的存在与唯一性

本文对系统dxdt=-y(1-ax2n)(1-bx2n) δx-lx4n 1dydt=x2n-1(1-cx2n)(1-bx2n)进行定性分析,得出其极限环的存在性,不存在性及唯一性的一系列充分条件.     

ON THE UNIQUENESS OF THE WEAK SOLUTIONS OF A QUASILINEAR HYPERBOLIC SYSTEM WITH A SINGULAR SOURCE TERM

This paper is a continuation of the authors'previous paper[1].In this paper the authorsprove,assuming additional conditions on the initial data,some results about the existence anduniqueness of the entropy weak solutions of the Cauchy problem for the singular hyperbolicsystem a_t+(au)_x_2au/x=0,u_t+1/2(a~2+u~2)_x=0,x>0,t≥0.     

Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

Propagation of the Hermite–Gaussian beams through misaligned optical system with a circular aperture

By means of expanding a hard-edged aperture into a finite sum of complex Gaussian functions, the approximate analytical formula of one kind of higher-order Gaussian beams called the Hermite–Gaussian beams (HGBs) passing through circular apertured and misaligned optical system is obtained in this paper. The result provides more convenience for studying its propagation than the usual way by using diffraction integral directly. Some numerical simulations are also given for illustrating the propagation properties of the HGBs through the circular apertured optical systems.     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.